Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
761	› DATA SHEET Free Feasibility Study ARE YOU READY TO EXPLOIT BIG DATA? Do you need to deliver a cost-effective and reliable Big Data solution to your end users? Add to Reading List Source URL: supportservices.actian.com Language: English - Date: 2013-04-16 11:51:27 Database management systems Formal sciences Cross-platform software Ingres Big data Data quality Technology Data management Science
762	Providing Integrated Development Processes for Distributed Development Environments Marco Kuhrmann, Georg Kalus Technische Universität München, Institut für Informatik – Software & Systems Engineering Boltzmannstr. Add to Reading List Source URL: www4.in.tum.de Language: English - Date: 2008-11-17 09:26:16 Software project management Formal methods Microsoft SharePoint V-Model System Architect Model-driven architecture Quality assurance IBM Rational Unified Process Team Foundation Server Software Information technology management Systems engineering
763	SEMINAR SEMINAR DISTINGUISHED LECTURE THURSDAY NOVEMBER 15, Add to Reading List Source URL: www.ece.cmu.edu Language: English - Date: 2012-10-03 11:22:12 Systems theory Knowledge Manfred Morari Formal sciences Control engineering ETH Zurich System Control theory Donald P. Eckman Award Science Systems science Cybernetics
764	IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 25, NO. 5, MAY[removed]Using Simulation and Satisfiability to Compute Flexibilities in Boolean Networks Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-11-01 22:55:48 Mathematical logic Algebraic logic Logic Diagrams Formal methods Binary decision diagram Canonical form Circuit Boolean satisfiability problem Theoretical computer science Boolean algebra Mathematics
765	Lost in Translation: Forgetful Semantic Anchoring Daniel Balasubramanian Vanderbilt University Institute for Software Integrated Systems Nashville, TN Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2012-05-01 10:13:00 Automata theory Computer science Finite-state machine SIGNAL Dataflow Meta-Object Facility Synchronous programming language Formal language Models of computation Software engineering Computing
766	Grounding Knowledge and Action Selection in Agent-Based Systems Natasha Alechina Brian Logan School of Computer Science and IT University of Nottingham Nottingham NG8 1BB, UK Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2002-09-26 13:10:47 Formal languages Model theory Philosophical logic Modal logic Interpretation Epistemic modal logic Kripke semantics Function Action selection Logic Mathematical logic Mathematics
767	Formal Evaluation of Agent Architectures N. Alechina and B. S. Logan School of Computer Science University of Nottingham Nottingham NG8 1BB, UK {nza,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-01-08 13:15:13 Science Intelligent agent Software agent Modal logic Agent-based model 3APL 2APL GOAL agent programming language Multi-agent systems Artificial intelligence Computing
768	Verifying bounds on deliberation time in multi-agent systems Natasha Alechina a a Brian Logan a Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2005-12-12 08:39:57 Artificial intelligence Formal languages Models of computation Logic programming Logical syntax Intelligent agent Production system Well-formed formula Agent-based model Logic Mathematics Science
769	Challenges and Opportunities with Big Data Alexandros Labrinidis H. V. Jagadish University of Pittsburgh Add to Reading List Source URL: vldb.org Language: English - Date: 2012-08-17 23:45:36 Technology Information technology management Database theory Data analysis Business intelligence Raghu Ramakrishnan Data mining Database SIGMOD Data management Formal sciences Database management systems
770	IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOL. 11, NO. 3, JUNE[removed]Transactions Briefs__________________________________________________________________ Board-Level Multiterminal Net Assignm Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2003-07-31 11:09:07 Logic in computer science NP-complete problems Electronic design automation Formal methods Boolean algebra Boolean satisfiability problem Field-programmable gate array MOS Technology SID Hardware emulation Theoretical computer science Electronic engineering Applied mathematics

UPDATE